-
1 verification condition
условие верификации
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
условие проверки
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > verification condition
-
2 verification condition
Большой англо-русский и русско-английский словарь > verification condition
-
3 verification condition
1) Техника: условие контроля программы2) Вычислительная техника: условие верификации, верифицирующее условие (в технике доказательства правильности программ)Универсальный англо-русский словарь > verification condition
-
4 Verification Condition
Computers: VCУниверсальный русско-английский словарь > Verification Condition
-
5 verification condition
English-Russian dictionary of computer science and programming > verification condition
-
6 verification condition
s.condición de verificación, condición de comprobación. -
7 verification condition
English-Russian information technology > verification condition
-
8 verification condition generation
Большой англо-русский и русско-английский словарь > verification condition generation
-
9 verification condition generation
Вычислительная техника: генерирование условий верификации (при доказательстве правильности программ)Универсальный англо-русский словарь > verification condition generation
-
10 verification condition generator
Микроэлектроника: генератор условий верификацииУниверсальный англо-русский словарь > verification condition generator
-
11 verification condition generator
генератор умов верифікаціїEnglish-Ukrainian dictionary of microelectronics > verification condition generator
-
12 verification condition generation
English-Russian dictionary of computer science and programming > verification condition generation
-
13 verification condition generator
генератор условия верификации (одна из двух частей системы автоматического обеспечения доказательства правильности программы)Англо-русский словарь промышленной и научной лексики > verification condition generator
-
14 condition
1) условие2) состояние3) ситуация4) pl режим•the condition can be cured by... — ситуация может быть исправлена посредством...
- ageing conditions- aging conditions
- alarm condition
- alert condition
- binary-valued condition
- boundary condition
- busy condition
- class condition
- clock conditions
- compound condition
- context condition
- continuity condition
- continuous-low condition
- cyclically magnetized condition
- deadlock condition
- debugging conditions
- degeneracy condition
- device status condition
- disabled condition
- don't care condition
- dynamic conditions
- entry conditions
- error condition
- exception condition
- exigent condition
- existence condition
- feasibility condition
- full-load conditions
- impending condition
- initial conditions
- limiting condition
- load conditions
- logical condition
- marginal conditions
- matched condition
- match condition
- maximum permissible operation conditions
- mild condition
- mismatch condition
- modifier condition
- normal conditions
- OFF condition
- ON condition
- one condition
- operation condition
- overflow test condition
- overload conditions
- pending condition
- prefault condition
- prefix condition
- pulse conditions
- ready condition
- reflexive condition
- restart condition
- service conditions
- stability condition
- stable condition
- starting condition
- static conditions
- steady-state conditions
- sufficient condition
- symmetrical cyclically magnetized condition
- tail conditions
- tape-out condition
- tenancy condition
- test conditions
- training conditions
- truncation condition
- typical operation conditions
- underflow test condition
- utmost permissible operation conditions
- verification condition
- wait condition
- working condition
- worst-case conditions
- zero condition
- zero-initial conditionEnglish-Russian dictionary of computer science and programming > condition
-
15 верифицирующее условие
Большой англо-русский и русско-английский словарь > верифицирующее условие
-
16 condición de comprobación
• verification conditionDiccionario Técnico Español-Inglés > condición de comprobación
-
17 condición de verificación
• verification conditionDiccionario Técnico Español-Inglés > condición de verificación
-
18 условие верификации
условие верификации
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > условие верификации
-
19 условие проверки
условие проверки
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > условие проверки
-
20 генерирование условий верификации
Большой англо-русский и русско-английский словарь > генерирование условий верификации
См. также в других словарях:
verification principle — (or verifiability principle ) The principle central to logical positivism, according to which the meaning of a statement is its method of verification. Sentences apparently expressing propositions that admit of no verification (such as those of… … Philosophy dictionary
verification — An *examination of an activity or asset in order to obtain evidence of its existence, condition, or truth. Verification is an important *substantive test to obtain *audit evidence: Depending on the...circumstances, verification takes place… … Auditor's dictionary
Condition animale — Bien être animal Le bien être animal est une notion associée au point de vue selon lequel toute souffrance animale inutile devrait être évitée. Ce point de vue concerne les animaux domestiques , qu ils soient exploités comme source de nourriture … Wikipédia en Français
Gender verification in sports — (also sometimes loosely referred to as sex determination) is the issue of verifying the eligibility of an athlete to compete in a sporting event that is limited to a single gender. The issue arose a number of times in the Olympic games where it… … Wikipedia
Open Verification Library — (OVL) is a library of property checkers for digital circuit descriptions written in popular Hardware Description Languages (HDLs). OVL is currently maintained by Accellera. Applications OVL works by placing modules or components checking specific … Wikipedia
physical verification — The *examination of a *tangible asset in order to obtain evidence of its existence and condition. The term is often used synonymously with *physical inspection. See also Verification … Auditor's dictionary
SPARK (programming language) — infobox programming language name = SPARK influenced by = Ada, HAL/SSPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software… … Wikipedia
условие верификации — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN verification condition … Справочник технического переводчика
условие проверки — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN verification condition … Справочник технического переводчика
THÉOLOGIE — Alain définissait la théologie «une philosophie sans recul». Il voulait dire qu’elle manque d’indépendance critique, qu’elle est liée à un système de croyances, à un dogme, qu’elle accepte une orthodoxie, une autorité, une censure: vérité… … Encyclopédie Universelle
Burglar alarm — Silent alarm redirects here. For the album, see Silent Alarm (album). Burglar (or intrusion), fire and safety alarms are all electronic today. Sensors are connected to a control unit via a low voltage hardwire or narrowband RF signal which is… … Wikipedia